Design and implementation of a simple, typed language based on the lambda-calculus, цель её - получить минимальный язык программирования, чтобы даже встроенных типов было минимум. "Оптимизатор справится". ;)

Реализация лямбда-исчисления "в железе". Пока не очень нравится - не очень "железно", по-моему, - но в паре с предыдущей смотрится интересно.

Кусочек времени у меня есть, хочу рассказать небольшую историю ( Read more... )

Поэтому ссылки.

To answer indirectly, note that proofs of equivalence are not proofs of convenient equivalence. The lambda calculus is equivalent to turing machines, but TM's are rarely sugared into usable programming practice.

Интересный семинар про SSA, там есть презентация про историю разработки SSA.

...the initiatives system makes California ( Read more... )

This Haskell package implements explicit sharing of monadic effects. Its most prominent application is probably the implementation of lazy non-determinism to emulate functional logic programming.

(источник здесь, я бы и ссылку на статьи привёл, да только у меня к ним "No route to host".)

На ум практически сразу пришёл комментарий Tim Sweeney на ( Read more... )

Это единственный мне известный случай, когда более старое знание (всего на год или два старше машины Тьюринга) оказывается более правильным, что ли.

Ни в каком фильме этого не покажут, а жаль. ;)

Барендрегт, Лямбда-исчисление.

Коротко и неформально.( Читать )